perm filename TEST.C[1,JRA] blob
sn#026669
filedate 1973-02-16 generic text, type T, neo UTF8
00100 PRE_PRED: P; 00150 VAR:X; 00200 PRE_OP:A,B; 00300 P(A)∨P(B); 00400 ¬P(B); 00500 ;